partial order relation in discrete mathematics